The spirit of ghost code

The Spirit of Ghost Code

In the context of deductive program verification, ghost code is part of the program that is added for the purpose of specification. Ghost code must not interfere with regular code, in the sense that it can be erased without any observable difference in the program outcome. In particular, ghost data cannot participate in regular computations and ghost code cannot mutate regular data or diverge. ...

Recollecting the Spirit of Jihad

strategies applied in translation of culture-specific items in translation of the i. r. i. constitution &the civil code (from persian into english(

این تحقیق به بررسی استراتژیهای بکاررفته توسط مترجمین مختلف در ترجمه واژه های فرهنگی خاص در ترجمه فارسی به انگلیسی قانون مدنی و قانون اساسی جمهوری اسلامی ایران میپردازد.این تحقیق بر اساس نظریه پیتر نیومارک صرت گرفته است. در این تحفیق واژه های فرهنگی خاص اقتباس شده و پس از مقایسه با متن مبدا به بررسی انها پرداخته می شود.در قسمت ضمائم تحقیق واژه نامه ای برای اشنایی خوانندگان با لغات و اصطلاحات حقو...

The Spirit of Teaching

the effect of taftan pozzolan on the compressive strength of concrete in the environmental conditions of oman sea (chabahar port)

cement is an essential ingredient in the concrete buildings. for production of cement considerable amount of fossil fuel and electrical energy is consumed. on the other hand for generating one tone of portland cement, nearly one ton of carbon dioxide is released. it shows that 7 percent of the total released carbon dioxide in the world relates to the cement industry. considering ecological issu...